Optimal. Leaf size=160 \[ -\frac {2 \left (a+\frac {d (c d-b e)}{e^2}\right ) \sqrt {f+g x}}{3 (e f-d g) (d+e x)^{3/2}}+\frac {2 \left (c \left (6 d e f-4 d^2 g\right )-e (3 b e f-b d g-2 a e g)\right ) \sqrt {f+g x}}{3 e^2 (e f-d g)^2 \sqrt {d+e x}}+\frac {2 c \tanh ^{-1}\left (\frac {\sqrt {g} \sqrt {d+e x}}{\sqrt {e} \sqrt {f+g x}}\right )}{e^{5/2} \sqrt {g}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.12, antiderivative size = 160, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 5, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.172, Rules used = {963, 79, 65,
223, 212} \begin {gather*} \frac {2 \sqrt {f+g x} \left (c \left (6 d e f-4 d^2 g\right )-e (-2 a e g-b d g+3 b e f)\right )}{3 e^2 \sqrt {d+e x} (e f-d g)^2}-\frac {2 \sqrt {f+g x} \left (a+\frac {d (c d-b e)}{e^2}\right )}{3 (d+e x)^{3/2} (e f-d g)}+\frac {2 c \tanh ^{-1}\left (\frac {\sqrt {g} \sqrt {d+e x}}{\sqrt {e} \sqrt {f+g x}}\right )}{e^{5/2} \sqrt {g}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 65
Rule 79
Rule 212
Rule 223
Rule 963
Rubi steps
\begin {align*} \int \frac {a+b x+c x^2}{(d+e x)^{5/2} \sqrt {f+g x}} \, dx &=-\frac {2 \left (a+\frac {d (c d-b e)}{e^2}\right ) \sqrt {f+g x}}{3 (e f-d g) (d+e x)^{3/2}}-\frac {2 \int \frac {\frac {c d (3 e f-d g)-e (3 b e f-b d g-2 a e g)}{2 e^2}-\frac {3}{2} c \left (f-\frac {d g}{e}\right ) x}{(d+e x)^{3/2} \sqrt {f+g x}} \, dx}{3 (e f-d g)}\\ &=-\frac {2 \left (a+\frac {d (c d-b e)}{e^2}\right ) \sqrt {f+g x}}{3 (e f-d g) (d+e x)^{3/2}}+\frac {2 \left (c \left (6 d e f-4 d^2 g\right )-e (3 b e f-b d g-2 a e g)\right ) \sqrt {f+g x}}{3 e^2 (e f-d g)^2 \sqrt {d+e x}}+\frac {c \int \frac {1}{\sqrt {d+e x} \sqrt {f+g x}} \, dx}{e^2}\\ &=-\frac {2 \left (a+\frac {d (c d-b e)}{e^2}\right ) \sqrt {f+g x}}{3 (e f-d g) (d+e x)^{3/2}}+\frac {2 \left (c \left (6 d e f-4 d^2 g\right )-e (3 b e f-b d g-2 a e g)\right ) \sqrt {f+g x}}{3 e^2 (e f-d g)^2 \sqrt {d+e x}}+\frac {(2 c) \text {Subst}\left (\int \frac {1}{\sqrt {f-\frac {d g}{e}+\frac {g x^2}{e}}} \, dx,x,\sqrt {d+e x}\right )}{e^3}\\ &=-\frac {2 \left (a+\frac {d (c d-b e)}{e^2}\right ) \sqrt {f+g x}}{3 (e f-d g) (d+e x)^{3/2}}+\frac {2 \left (c \left (6 d e f-4 d^2 g\right )-e (3 b e f-b d g-2 a e g)\right ) \sqrt {f+g x}}{3 e^2 (e f-d g)^2 \sqrt {d+e x}}+\frac {(2 c) \text {Subst}\left (\int \frac {1}{1-\frac {g x^2}{e}} \, dx,x,\frac {\sqrt {d+e x}}{\sqrt {f+g x}}\right )}{e^3}\\ &=-\frac {2 \left (a+\frac {d (c d-b e)}{e^2}\right ) \sqrt {f+g x}}{3 (e f-d g) (d+e x)^{3/2}}+\frac {2 \left (c \left (6 d e f-4 d^2 g\right )-e (3 b e f-b d g-2 a e g)\right ) \sqrt {f+g x}}{3 e^2 (e f-d g)^2 \sqrt {d+e x}}+\frac {2 c \tanh ^{-1}\left (\frac {\sqrt {g} \sqrt {d+e x}}{\sqrt {e} \sqrt {f+g x}}\right )}{e^{5/2} \sqrt {g}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.23, size = 145, normalized size = 0.91 \begin {gather*} \frac {2 \sqrt {f+g x} \left (c d \left (-3 d^2 g+6 e^2 f x+d e (5 f-4 g x)\right )+e^2 (b (-2 d f-3 e f x+d g x)+a (-e f+3 d g+2 e g x))\right )}{3 e^2 (e f-d g)^2 (d+e x)^{3/2}}+\frac {2 c \tanh ^{-1}\left (\frac {\sqrt {e} \sqrt {f+g x}}{\sqrt {g} \sqrt {d+e x}}\right )}{e^{5/2} \sqrt {g}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(772\) vs.
\(2(136)=272\).
time = 0.09, size = 773, normalized size = 4.83
method | result | size |
default | \(\frac {\sqrt {g x +f}\, \left (3 \ln \left (\frac {2 e g x +2 \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, \sqrt {e g}+d g +e f}{2 \sqrt {e g}}\right ) c \,d^{2} e^{2} g^{2} x^{2}-6 \ln \left (\frac {2 e g x +2 \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, \sqrt {e g}+d g +e f}{2 \sqrt {e g}}\right ) c d \,e^{3} f g \,x^{2}+3 \ln \left (\frac {2 e g x +2 \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, \sqrt {e g}+d g +e f}{2 \sqrt {e g}}\right ) c \,e^{4} f^{2} x^{2}+6 \ln \left (\frac {2 e g x +2 \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, \sqrt {e g}+d g +e f}{2 \sqrt {e g}}\right ) c \,d^{3} e \,g^{2} x -12 \ln \left (\frac {2 e g x +2 \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, \sqrt {e g}+d g +e f}{2 \sqrt {e g}}\right ) c \,d^{2} e^{2} f g x +6 \ln \left (\frac {2 e g x +2 \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, \sqrt {e g}+d g +e f}{2 \sqrt {e g}}\right ) c d \,e^{3} f^{2} x +3 \ln \left (\frac {2 e g x +2 \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, \sqrt {e g}+d g +e f}{2 \sqrt {e g}}\right ) c \,d^{4} g^{2}-6 \ln \left (\frac {2 e g x +2 \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, \sqrt {e g}+d g +e f}{2 \sqrt {e g}}\right ) c \,d^{3} e f g +3 \ln \left (\frac {2 e g x +2 \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, \sqrt {e g}+d g +e f}{2 \sqrt {e g}}\right ) c \,d^{2} e^{2} f^{2}+4 a \,e^{3} g x \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, \sqrt {e g}+2 b d \,e^{2} g x \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, \sqrt {e g}-6 b \,e^{3} f x \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, \sqrt {e g}-8 c \,d^{2} e g x \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, \sqrt {e g}+12 c d \,e^{2} f x \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, \sqrt {e g}+6 a d \,e^{2} g \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, \sqrt {e g}-2 a \,e^{3} f \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, \sqrt {e g}-4 b d \,e^{2} f \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, \sqrt {e g}-6 c \,d^{3} g \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, \sqrt {e g}+10 c \,d^{2} e f \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, \sqrt {e g}\right )}{3 \sqrt {e g}\, \left (d g -e f \right )^{2} \sqrt {\left (e x +d \right ) \left (g x +f \right )}\, e^{2} \left (e x +d \right )^{\frac {3}{2}}}\) | \(773\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 380 vs.
\(2 (142) = 284\).
time = 7.88, size = 770, normalized size = 4.81 \begin {gather*} \left [\frac {3 \, {\left (c d^{4} g^{2} + c f^{2} x^{2} e^{4} - 2 \, {\left (c d f g x^{2} - c d f^{2} x\right )} e^{3} + {\left (c d^{2} g^{2} x^{2} - 4 \, c d^{2} f g x + c d^{2} f^{2}\right )} e^{2} + 2 \, {\left (c d^{3} g^{2} x - c d^{3} f g\right )} e\right )} \sqrt {g} e^{\frac {1}{2}} \log \left (d^{2} g^{2} + 4 \, {\left (d g + {\left (2 \, g x + f\right )} e\right )} \sqrt {g x + f} \sqrt {x e + d} \sqrt {g} e^{\frac {1}{2}} + {\left (8 \, g^{2} x^{2} + 8 \, f g x + f^{2}\right )} e^{2} + 2 \, {\left (4 \, d g^{2} x + 3 \, d f g\right )} e\right ) - 4 \, {\left (3 \, c d^{3} g^{2} e + {\left (a f g + {\left (3 \, b f g - 2 \, a g^{2}\right )} x\right )} e^{4} + {\left (2 \, b d f g - 3 \, a d g^{2} - {\left (6 \, c d f g + b d g^{2}\right )} x\right )} e^{3} + {\left (4 \, c d^{2} g^{2} x - 5 \, c d^{2} f g\right )} e^{2}\right )} \sqrt {g x + f} \sqrt {x e + d}}{6 \, {\left (d^{4} g^{3} e^{3} + f^{2} g x^{2} e^{7} - 2 \, {\left (d f g^{2} x^{2} - d f^{2} g x\right )} e^{6} + {\left (d^{2} g^{3} x^{2} - 4 \, d^{2} f g^{2} x + d^{2} f^{2} g\right )} e^{5} + 2 \, {\left (d^{3} g^{3} x - d^{3} f g^{2}\right )} e^{4}\right )}}, -\frac {3 \, {\left (c d^{4} g^{2} + c f^{2} x^{2} e^{4} - 2 \, {\left (c d f g x^{2} - c d f^{2} x\right )} e^{3} + {\left (c d^{2} g^{2} x^{2} - 4 \, c d^{2} f g x + c d^{2} f^{2}\right )} e^{2} + 2 \, {\left (c d^{3} g^{2} x - c d^{3} f g\right )} e\right )} \sqrt {-g e} \arctan \left (\frac {{\left (d g + {\left (2 \, g x + f\right )} e\right )} \sqrt {g x + f} \sqrt {-g e} \sqrt {x e + d}}{2 \, {\left ({\left (g^{2} x^{2} + f g x\right )} e^{2} + {\left (d g^{2} x + d f g\right )} e\right )}}\right ) + 2 \, {\left (3 \, c d^{3} g^{2} e + {\left (a f g + {\left (3 \, b f g - 2 \, a g^{2}\right )} x\right )} e^{4} + {\left (2 \, b d f g - 3 \, a d g^{2} - {\left (6 \, c d f g + b d g^{2}\right )} x\right )} e^{3} + {\left (4 \, c d^{2} g^{2} x - 5 \, c d^{2} f g\right )} e^{2}\right )} \sqrt {g x + f} \sqrt {x e + d}}{3 \, {\left (d^{4} g^{3} e^{3} + f^{2} g x^{2} e^{7} - 2 \, {\left (d f g^{2} x^{2} - d f^{2} g x\right )} e^{6} + {\left (d^{2} g^{3} x^{2} - 4 \, d^{2} f g^{2} x + d^{2} f^{2} g\right )} e^{5} + 2 \, {\left (d^{3} g^{3} x - d^{3} f g^{2}\right )} e^{4}\right )}}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {a + b x + c x^{2}}{\left (d + e x\right )^{\frac {5}{2}} \sqrt {f + g x}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 286 vs.
\(2 (142) = 284\).
time = 4.27, size = 286, normalized size = 1.79 \begin {gather*} -\frac {2 \, c \sqrt {g} e^{\left (-\frac {5}{2}\right )} \log \left ({\left | -\sqrt {g x + f} \sqrt {g} e^{\frac {1}{2}} + \sqrt {d g^{2} + {\left (g x + f\right )} g e - f g e} \right |}\right )}{{\left | g \right |}} - \frac {2 \, \sqrt {g x + f} {\left (\frac {{\left (4 \, c d^{2} g^{6} e^{2} - 6 \, c d f g^{5} e^{3} - b d g^{6} e^{3} + 3 \, b f g^{5} e^{4} - 2 \, a g^{6} e^{4}\right )} {\left (g x + f\right )}}{d^{2} g^{4} {\left | g \right |} e^{3} - 2 \, d f g^{3} {\left | g \right |} e^{4} + f^{2} g^{2} {\left | g \right |} e^{5}} + \frac {3 \, {\left (c d^{3} g^{7} e - 3 \, c d^{2} f g^{6} e^{2} + 2 \, c d f^{2} g^{5} e^{3} + b d f g^{6} e^{3} - a d g^{7} e^{3} - b f^{2} g^{5} e^{4} + a f g^{6} e^{4}\right )}}{d^{2} g^{4} {\left | g \right |} e^{3} - 2 \, d f g^{3} {\left | g \right |} e^{4} + f^{2} g^{2} {\left | g \right |} e^{5}}\right )}}{3 \, {\left (d g^{2} + {\left (g x + f\right )} g e - f g e\right )}^{\frac {3}{2}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {c\,x^2+b\,x+a}{\sqrt {f+g\,x}\,{\left (d+e\,x\right )}^{5/2}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________